Pythagorean Theorem Goes Hard